Definability problems in elementary topology
نویسندگان
چکیده
منابع مشابه
Hanf Locality and Invariant Elementary Definability
We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular, we study invariance with respect to expansions which depend not only on (an ordering of) the universe of a structure, but also on the particular relations whi...
متن کاملModal languages for topology: Expressivity and definability
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language Lt.
متن کاملElementary Computable Topology
We revise and extend the foundation of computable topology in the framework of Type-2 theory of effectivity, TTE, where continuity and computability on finite and infinite sequences of symbols are defined canonically and transferred to abstract sets by means of notations and representations. We start from a computable topological space, which is a T0-space with a notation of a base such that in...
متن کاملDefinability and Decision Problems in Arithmetic
Introduction. In this paper, we are concerned with the arithmetical definability of certain notions of integers and rationals in terms of other notions. The results derived will be applied to obtain a negative solution of corresponding decision problems. In Section 1, we show that addition of positive integers can be defined arithmetically in terms of multiplication and the unary operation of s...
متن کاملApplications Of Elementary Submodels In General Topology
Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangel’skii concerning cardinal invariants of compact spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1983
ISSN: 0263-6115
DOI: 10.1017/s144678870002382x